Stereodynamics of Diatom Formation through Eley–Rideal Abstraction
نویسندگان
چکیده
منابع مشابه
Pair-correlated stereodynamics for diatom-diatom rotational energy transfer: NO(A2Σ+) + N2.
We have performed a crossed molecular beam velocity-map ion imaging study of state-to-state rotational energy transfer of NO(A2Σ+, v = 0, N = 0, j = 0.5) in collisions with N2 and have measured rotational angular momentum polarization dependent images of product NO(A) rotational levels N' = 3 and 5-11 for collisions at an average energy of 797 cm-1. We present an extension of our previously pub...
متن کاملStereodynamics of multistate roaming.
We present a molecular level description of NO3→ NO + O2 photodissociation for both of the experimentally observed reaction pathways using the results of ion imaging experiments and recent theoretical studies. Vector correlation and Λ doublet propensity measurements have been performed on state-selected NO fragments in order to further characterize the stereodynamics of this reaction. Previous ...
متن کاملThrough the Lens of Abstraction
This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics. Establishing that a program is correct is undecidable in general. Program-analysis and verification tools sidestep this tar-pit of undecidability by working on an abstraction of a program, which over-approximates the original program’s behavior. The theo...
متن کاملAutomatically Proving Playability through Abstraction
ion : Compute an abstract characterization of the game tree, which sometimes includes states not in the game tree, and show that each such abstract state is playable. Sound (for certain classes of GDL games) but incomplete . Performance and termination are highly dependent on the game axiomatization. Brute force and random probing are fairly straightforward. Treating the game tree as a graph in...
متن کاملTest-Case Calculation through Abstraction
This paper discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as an abstraction problem. The refinement calculus is used to formulate abstraction rules for calculating correct test-case scenarios from a formal contract. This abstraction calculus results in a synthesis method that, does not need to compute...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Physical Chemistry C
سال: 2017
ISSN: 1932-7447,1932-7455
DOI: 10.1021/acs.jpcc.7b06529